3.31.36 \(\int \frac {1}{\sqrt [3]{d-3 e x} (d+e x) \sqrt [3]{d+3 e x}} \, dx\) [3036]

Optimal. Leaf size=120 \[ \frac {\sqrt {3} \tan ^{-1}\left (\frac {1}{\sqrt {3}}-\frac {(d-3 e x)^{2/3}}{\sqrt {3} \sqrt [3]{d} \sqrt [3]{d+3 e x}}\right )}{4 d^{2/3} e}+\frac {\log (d+e x)}{4 d^{2/3} e}-\frac {3 \log \left (-\frac {(d-3 e x)^{2/3}}{2 \sqrt [3]{d}}-\sqrt [3]{d+3 e x}\right )}{8 d^{2/3} e} \]

[Out]

1/4*ln(e*x+d)/d^(2/3)/e-3/8*ln(-1/2*(-3*e*x+d)^(2/3)/d^(1/3)-(3*e*x+d)^(1/3))/d^(2/3)/e-1/4*arctan(-1/3*3^(1/2
)+1/3*(-3*e*x+d)^(2/3)/d^(1/3)/(3*e*x+d)^(1/3)*3^(1/2))*3^(1/2)/d^(2/3)/e

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 120, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.036, Rules used = {124} \begin {gather*} \frac {\sqrt {3} \text {ArcTan}\left (\frac {1}{\sqrt {3}}-\frac {(d-3 e x)^{2/3}}{\sqrt {3} \sqrt [3]{d} \sqrt [3]{d+3 e x}}\right )}{4 d^{2/3} e}+\frac {\log (d+e x)}{4 d^{2/3} e}-\frac {3 \log \left (-\frac {(d-3 e x)^{2/3}}{2 \sqrt [3]{d}}-\sqrt [3]{d+3 e x}\right )}{8 d^{2/3} e} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[1/((d - 3*e*x)^(1/3)*(d + e*x)*(d + 3*e*x)^(1/3)),x]

[Out]

(Sqrt[3]*ArcTan[1/Sqrt[3] - (d - 3*e*x)^(2/3)/(Sqrt[3]*d^(1/3)*(d + 3*e*x)^(1/3))])/(4*d^(2/3)*e) + Log[d + e*
x]/(4*d^(2/3)*e) - (3*Log[-1/2*(d - 3*e*x)^(2/3)/d^(1/3) - (d + 3*e*x)^(1/3)])/(8*d^(2/3)*e)

Rule 124

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(1/3)*((e_.) + (f_.)*(x_))^(1/3)), x_Symbol] :> With[{q = Rt[
b*((b*e - a*f)/(b*c - a*d)^2), 3]}, Simp[-Log[a + b*x]/(2*q*(b*c - a*d)), x] + (-Simp[Sqrt[3]*(ArcTan[1/Sqrt[3
] + 2*q*((c + d*x)^(2/3)/(Sqrt[3]*(e + f*x)^(1/3)))]/(2*q*(b*c - a*d))), x] + Simp[3*(Log[q*(c + d*x)^(2/3) -
(e + f*x)^(1/3)]/(4*q*(b*c - a*d))), x])] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[2*b*d*e - b*c*f - a*d*f, 0]

Rubi steps

\begin {align*} \int \frac {1}{\sqrt [3]{d-3 e x} (d+e x) \sqrt [3]{d+3 e x}} \, dx &=\frac {\sqrt {3} \tan ^{-1}\left (\frac {1}{\sqrt {3}}-\frac {(d-3 e x)^{2/3}}{\sqrt {3} \sqrt [3]{d} \sqrt [3]{d+3 e x}}\right )}{4 d^{2/3} e}+\frac {\log (d+e x)}{4 d^{2/3} e}-\frac {3 \log \left (-\frac {(d-3 e x)^{2/3}}{2 \sqrt [3]{d}}-\sqrt [3]{d+3 e x}\right )}{8 d^{2/3} e}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(439\) vs. \(2(120)=240\).
time = 1.25, size = 439, normalized size = 3.66 \begin {gather*} \frac {-2 \sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} \sqrt [3]{d-3 e x}}{2^{2/3} \sqrt [3]{d}+\sqrt [3]{d-3 e x}-\sqrt [3]{2} \sqrt [3]{d+3 e x}}\right )-4 \sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} \sqrt [3]{d-3 e x}}{-2 2^{2/3} \sqrt [3]{d}+\sqrt [3]{d-3 e x}+2 \sqrt [3]{2} \sqrt [3]{d+3 e x}}\right )-4 \log \left (2^{2/3} \sqrt [3]{d}+\sqrt [3]{d-3 e x}-\sqrt [3]{2} \sqrt [3]{d+3 e x}\right )-2 \log \left (-2^{2/3} \sqrt [3]{d}+2 \sqrt [3]{d-3 e x}+\sqrt [3]{2} \sqrt [3]{d+3 e x}\right )+\log \left (2 \sqrt [3]{2} d^{2/3}+4 (d-3 e x)^{2/3}-2 \sqrt [3]{2} \sqrt [3]{d-3 e x} \sqrt [3]{d+3 e x}+2^{2/3} (d+3 e x)^{2/3}+2 \sqrt [3]{d} \left (2^{2/3} \sqrt [3]{d-3 e x}-2 \sqrt [3]{d+3 e x}\right )\right )+2 \log \left (2 \sqrt [3]{2} d^{2/3}+(d-3 e x)^{2/3}+\sqrt [3]{2} \sqrt [3]{d-3 e x} \sqrt [3]{d+3 e x}+2^{2/3} (d+3 e x)^{2/3}-\sqrt [3]{d} \left (2^{2/3} \sqrt [3]{d-3 e x}+4 \sqrt [3]{d+3 e x}\right )\right )}{8 d^{2/3} e} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[1/((d - 3*e*x)^(1/3)*(d + e*x)*(d + 3*e*x)^(1/3)),x]

[Out]

(-2*Sqrt[3]*ArcTan[(Sqrt[3]*(d - 3*e*x)^(1/3))/(2^(2/3)*d^(1/3) + (d - 3*e*x)^(1/3) - 2^(1/3)*(d + 3*e*x)^(1/3
))] - 4*Sqrt[3]*ArcTan[(Sqrt[3]*(d - 3*e*x)^(1/3))/(-2*2^(2/3)*d^(1/3) + (d - 3*e*x)^(1/3) + 2*2^(1/3)*(d + 3*
e*x)^(1/3))] - 4*Log[2^(2/3)*d^(1/3) + (d - 3*e*x)^(1/3) - 2^(1/3)*(d + 3*e*x)^(1/3)] - 2*Log[-(2^(2/3)*d^(1/3
)) + 2*(d - 3*e*x)^(1/3) + 2^(1/3)*(d + 3*e*x)^(1/3)] + Log[2*2^(1/3)*d^(2/3) + 4*(d - 3*e*x)^(2/3) - 2*2^(1/3
)*(d - 3*e*x)^(1/3)*(d + 3*e*x)^(1/3) + 2^(2/3)*(d + 3*e*x)^(2/3) + 2*d^(1/3)*(2^(2/3)*(d - 3*e*x)^(1/3) - 2*(
d + 3*e*x)^(1/3))] + 2*Log[2*2^(1/3)*d^(2/3) + (d - 3*e*x)^(2/3) + 2^(1/3)*(d - 3*e*x)^(1/3)*(d + 3*e*x)^(1/3)
+ 2^(2/3)*(d + 3*e*x)^(2/3) - d^(1/3)*(2^(2/3)*(d - 3*e*x)^(1/3) + 4*(d + 3*e*x)^(1/3))])/(8*d^(2/3)*e)

________________________________________________________________________________________

Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int \frac {1}{\left (-3 e x +d \right )^{\frac {1}{3}} \left (e x +d \right ) \left (3 e x +d \right )^{\frac {1}{3}}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(-3*e*x+d)^(1/3)/(e*x+d)/(3*e*x+d)^(1/3),x)

[Out]

int(1/(-3*e*x+d)^(1/3)/(e*x+d)/(3*e*x+d)^(1/3),x)

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(-3*e*x+d)^(1/3)/(e*x+d)/(3*e*x+d)^(1/3),x, algorithm="maxima")

[Out]

integrate(1/((3*x*e + d)^(1/3)*(x*e + d)*(-3*x*e + d)^(1/3)), x)

________________________________________________________________________________________

Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(-3*e*x+d)^(1/3)/(e*x+d)/(3*e*x+d)^(1/3),x, algorithm="fricas")

[Out]

Timed out

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt [3]{d - 3 e x} \left (d + e x\right ) \sqrt [3]{d + 3 e x}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(-3*e*x+d)**(1/3)/(e*x+d)/(3*e*x+d)**(1/3),x)

[Out]

Integral(1/((d - 3*e*x)**(1/3)*(d + e*x)*(d + 3*e*x)**(1/3)), x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(-3*e*x+d)^(1/3)/(e*x+d)/(3*e*x+d)^(1/3),x, algorithm="giac")

[Out]

integrate(1/((3*x*e + d)^(1/3)*(x*e + d)*(-3*x*e + d)^(1/3)), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{\left (d+e\,x\right )\,{\left (d-3\,e\,x\right )}^{1/3}\,{\left (d+3\,e\,x\right )}^{1/3}} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((d + e*x)*(d - 3*e*x)^(1/3)*(d + 3*e*x)^(1/3)),x)

[Out]

int(1/((d + e*x)*(d - 3*e*x)^(1/3)*(d + 3*e*x)^(1/3)), x)

________________________________________________________________________________________